121. 29, 2010. Proceedings-Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27
پدیدآورنده : / Alessandro Cimatti (auth.), Jaco van de Pol, Michael Weber (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
122. 15, 2011. Proceedings-Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14
پدیدآورنده : / Jasmin Fisher (auth.), Alex Groce, Madanlal Musuvathi (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
123. 16, 2010. Proceedings-Motion in Games: Third International Conference, MIG 2010, Utrecht, The Netherlands, November 14
پدیدآورنده : / Demetri Terzopoulos (auth.), Ronan Boulic, Yiorgos Chrysanthou, Taku Komura (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
124. 20, 2011. Proceedings-NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18
پدیدآورنده : / K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
125. 15, 2010. Proceedings-Network and Parallel Computing: IFIP International Conference, NPC 2010, Zhengzhou, China, September 13
پدیدآورنده : / Xiaodong Zhang (auth.), Chen Ding, Zhiyuan Shao, Ran Zheng (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
126. 9, 2011, Proceedings, Part I- INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5ع۰بComputer Interaction -Human
پدیدآورنده : / mara (auth.), Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler (eds.)عnio CلAnt
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
127. 24, 2011. Proceedings, Part I-Image Analysis and Recognition: 8th International Conference, ICIAR 2011, Burnaby, BC, Canada, June 22
پدیدآورنده : / lio Campilho (eds.)فKai Zeng, Zhou Wang (auth.), Mohamed Kamel, Aur
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
128. 9, 2011, Proceedings, Part II- INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5ع۰بComputer Interaction -Human
پدیدآورنده : / Michael Haller, Christoph Richter, Peter Brandl, Sabine Gross, Gerold Schossleitner (auth.), Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
129. 27, 2012. Proceedings, Part II-Image Analysis and Recognition: 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25
پدیدآورنده : / lio Campilho, Mohamed Kamel (eds.)فAndreas Uhl, Peter Wild (auth.), Aur
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
130. 24, 2011. Proceedings, Part II-Image Analysis and Recognition: 8th International Conference, ICIAR 2011, Burnaby, BC, Canada, June 22
پدیدآورنده : / lio Campilho (eds.)فa, Jim Murray (auth.), Mohamed Kamel, AurغPedro Quelhas, Jeroen Nieuwland, Walter Dewitte, Ana Maria Mendon
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
131. 15, 2011. Proceedings, Part II-Ubiquitous Computing and Multimedia Applications: Second International Conference, UCMA 2011, Daejeon, Korea, April 13
پدیدآورنده : / hoon Kim, Hojjat Adeli, Rosslin John Robles, Maricel Balitanas (eds.)-Jin Ah Kang, Hong Kook Kim (auth.), Tai
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
132. 23, 2010, Proceedings, Part II-voa de Varzin, Portugal, June 21Image Analysis and Recognition: 7th International Conference, ICIAR 2010, P
پدیدآورنده : / lio Campilho, Mohamed Kamel (eds.)فXiao Dong, Guoyan Zheng (auth.), Aur
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
133. 9, 2011, Proceedings, Part III- INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5ع۰بComputer Interaction -Human
پدیدآورنده : / lez (auth.), Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler (eds.)عa, Pascual Gonzک P. Molina, Arturo S. GarcفY. Lionel Lawson, Jos-nez, JکDiego Mart
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
134. 9, 2011, Proceedings, Part IV- INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5ع۰بComputer Interaction -Human
پدیدآورنده : / Yin Choong, Mary Theofanos (auth.), Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler (eds.)-Celeste Lyn Paul, Emile Morse, Aiping Zhang, Yee
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
135. 7, 2011. Proceedings-Photogrammetric Image Analysis: ISPRS Conference, PIA 2011, Munich, Germany, October 5
پدیدآورنده : / Jochen Meidow (auth.), Uwe Stilla, Franz Rottensteiner, Helmut Mayer, Boris Jutzi, Matthias Butenuth (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
136. 4, 2010. Proceedings-Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1
پدیدآورنده : / Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rou, Oleg Sokolsky, Nikolai Tillmann (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
137. 14, 2010. Proceedings- SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11ع۰بTheory and Applications of Satisfiability Testing
پدیدآورنده : / Yehuda Naveh (auth.), Ofer Strichman, Stefan Szeider (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
138. 10, 2010. Proceedings-Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8
پدیدآورنده : / Carlos Maldonado (eds.)فo, JosعIna Schieferdecker (auth.), Alexandre Petrenko, Adenilso Sim
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
139. 20, 2011. Proceedings-Theory and Practice of Algorithms in (Computer) Systems: First International ICST Conference, TAPAS 2011, Rome, Italy, April 18
پدیدآورنده : / Spaccamela, Michael Segal (eds.)-Shay Kutten (auth.), Alberto Marchetti
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
140. 17, 2011. Proceedings-Top Productivity through Software Reuse: 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13
پدیدآورنده : / Krzysztof Czarnecki (auth.), Klaus Schmid (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
